Are the Norito. Magical Formulae?
نویسندگان
چکیده
منابع مشابه
When Are Prime Formulae Characteristic?
In the setting of the modal logic that characterizes modal refinement over modal transition systems, Boudol and Larsen showed that the formulae for which model checking can be reduced to preorder checking, that is, the characteristic formulae, are exactly the consistent and prime ones. This paper presents general, sufficient conditions guaranteeing that characteristic formulae are exactly the c...
متن کاملPseudo-Canonical Formulae are Classical
From now on a, b, c, x, y, z, A, B, C, X, Y denote sets, f , g denote functions, V denotes a SetValuation, P denotes a permutation of V , p, q, r, s denote elements of HP-WFF, and n denotes an element of N. Let us consider X and Y. Let f be a relation between X and Y. Note that idX · f reduces to f and f · idY reduces to f . Now we state the proposition: (1) Let us consider one-to-one functions...
متن کاملThe Magical Number Seven
My problem is that I have been persecuted by an integer. For seven years this number has followed me around, has intruded in my most private data, and has assaulted me from the pages of our most public journals. This number assumes a variety of disguises, being sometimes a little larger and sometimes a little smaller than usual, but never changing so much as to be unrecognizable. The persistenc...
متن کاملMagical Triangles
Simplicial complexes consist of a set of vertices together with designated subsets. They can be thought of as embedded in Rn with the induced metric and topology, where n is large enough that the points can all be geometrically independent. The sets of points spanned by these designated subsets then form triangles or their higher or lower dimensional analogues according to some restrictions. By...
متن کاملChildren's and adults' reactions to magical and ordinary suggestion: are suggestibility and magical thinking psychologically close relatives?
In Experiment 1, 6- and 9-year-old children and adults were asked to imagine various types of objects. The experimenter then attempted to change the image of those objects in participants' minds by either suggesting that the objects may change against the participants' will, or by asking participants to change the objects as a favor to the experimenter. Two types of suggestive causation were em...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: T'oung Pao
سال: 1909
ISSN: 0082-5433,1568-5322
DOI: 10.1163/156853209x00371